Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
261	Cryptosense: Formal Analysis of Security APIs from Research to Spin-Off Graham Steel Cryptosense & INRIA Abstract. In this talk I’ll describe how our research project into adapting formal analysis techniques for crypt Add to Reading List Source URL: software.imdea.org - Date: 2014-07-17 09:25:51
262	BRICS Basic Research in Computer Science BRICS RSHavelund et al.: Formal Modeling and Analysis of an Audio/Video Protocol Formal Modeling and Analysis of Add to Reading List Source URL: www.brics.dk - Date: 1997-12-01 08:28:07
263	Comment on Reg NMS Rule 611 (RefApril 2015 Dear Equity Market Structure Advisory Committee, Together with Thomas Philippon, we provide in Competing on Speed a formal analysis of Reg NMS Rule 611. I have attache Add to Reading List Source URL: www.sec.gov - Date: 2015-04-24 13:47:01
264	Formal Analysis of Hierarchical State Machines Rajeev Alur University of Pennsylvania In honor of Zohar Manna Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-06-22 11:47:11
265	Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking Ralf K¨usters University of Trier, Germany Tomasz Truderung University of Trier, Germany Add to Reading List Source URL: ieee-security.org Language: English - Date: 2014-04-21 13:48:10
266	Formal Concept Analysis in Information Science∗ Uta Priss 1 Introduction Add to Reading List Source URL: www.upriss.org.uk Language: English - Date: 2007-10-11 12:28:05
267	arXiv:1409.3108v1 [cs.PL] 10 SepPruning, Pushdown Exception-Flow Analysis Shuying Liang Weibin Sun Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-09-10 22:08:37 Formal languages Software engineering Cardinal number Model theory Structure String Garbage collection Exception handling Mathematics Computing Character encoding
268	BRICS Basic Research in Computer Science BRICS RS-03-5 Christensen et al.: Precise Analysis of String Expressions Add to Reading List Source URL: www.brics.dk Language: English - Date: 2003-02-07 05:37:32 Software engineering Context-free grammar Formal grammar Terminal and nonterminal symbols Regular grammar Production Regular expression Static single assignment form Parsing expression grammar Formal languages Combinatorics Mathematics
269	The data revolution: finding the missing millions - - Research reports and studies Add to Reading List Source URL: www.odi.org Language: English - Date: 2015-05-29 11:20:24 Data management Data analysis Data mining Open data Big data Surveillance Technology Formal sciences Science
270	Microsoft Word - Federal Capabilities 2014 Add to Reading List Source URL: discovertext.com Language: English - Date: 2015-01-29 15:08:26 Data analysis Natural language processing Statistical natural language processing Social networks Formal sciences Text analytics Gnip Analytics R Statistics Data management Science

UPDATE